41. Logic, language, and computation :
المؤلف: Nick Bezhanishvili [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
42. Logic, language, and computation
المؤلف: \ [edited by] Martin Aher...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
43. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
المؤلف: edited by J. Winkowski
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
64
44. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
المؤلف: M. Main...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
45. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
46. Mathematical foundations of programming semantics :
المؤلف: M. Main, A. Melton, M. Mislove ... [et al.], eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
47. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
المؤلف: edited by Austin Melton
المکتبة: (طهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
239
48. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف: M. Main...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
49. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
50. Natural language at the computer: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
51. PARLE, parallel architectures and languages Europe :
المؤلف: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
5
.
C61926
1987
52. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
المؤلف: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
258
,
259
53. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
المؤلف: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
258-259
54. Proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
55. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop )Haskell'02( : Pittsburgh, Pennsylvania, USA October 3, 2002
المؤلف: Sponsored by the Association for Machinery, Special Interest Group on Programming Languages )SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Haskell )Computer program language(,، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
H37A25
2002
56. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy
المؤلف: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2004
57. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
المؤلف: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
58. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
المؤلف: sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
59. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
المؤلف: sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
